201. Love and sex with robots : third International Conference, LSR 2017, London, UK, December 19-20, 2017
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی زن و خانواده (تهران) (طهران)
موضوع : Artificial intelligence ***** Software engineering ***** Computer science ***** Human-robot interaction > Congresses ***** Computer Communication Networks *****
رده :
TJ
210
.
3
86L
202. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
203. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
204. Mathematical and Engineering Methods in Computer Science
پدیدآورنده : \ Jan Kofroň , Tomáš Vojnar (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
M32
2016
E-Book
,
205. Mathematical and engineering methods in computer science
پدیدآورنده : Zdeněk Kotásek ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer science, Congresses,Software engineering, Congresses
رده :
QA75
.
5
.
M46
2011eb
206. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
207. Model-based engineering of embedded real-time systems
پدیدآورنده : Holger Giese ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses
208. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
209. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
210. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
211. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
212. Modelling foundations and applications
پدیدآورنده : Antonio Vallecillo ... [et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2012eb
213. Modelling foundations and applications
پدیدآورنده : Pieter van Gorp, Tom Ritter, Louis M. Rose (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses
رده :
QA76
.
758
.
E97
2013
214. Modelling foundations and applications
پدیدآورنده : / Thomas Keuhne ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer software--Development--Congresses,Computer architecture--Congresses,Software engineering--Congresses,Object-oriented programming (Computer science)--Congresses,Conception assistaee par ordinateur en gaenie logiciel--Congr?es.--ram,Modellgetriebene Entwicklung--swd,Modelltransformation--swd,Metamodell--swd,Entwurfssprache--swd,Anwendungssystem--swd,Paris <2010>--swd
رده :
QA
,
76
.
76
,.
D47
,
E762
,
2010
215. Models in software engineering
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ; UML (Computer science) ; Congresses. ;
216. Models in software engineering
پدیدآورنده : Jörg Kienzle (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Model-integrated computing, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
M63
2011eb
217. Models in software engineering
پدیدآورنده : / Thomas K?�hne (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer software--Development--Congresses,Software engineering--Congresses,UML (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
M6257
,
2006a
218. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها
رده :
E-Book
,
219. NETWORKING 2012 Workshops
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer networks -- Congresses,Computer networks -- Management -- Congresses,Software engineering,شبکه‌های کامپیوتری -- کنگره‌ها,شبکه‌های کامپیوتری -- مدیریت -- کنگره‌ها,مهندسی نرم افزار
رده :
E-Book
,
220. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
